21. Logic, semantics, metamathematics: papers from 1923 to 1938
پدیدآورنده : Tarski, Alfred.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,Semantics )Philosophy(
رده :
BC
135
.
T35
22. Logique , Sematique metamathe matique , 1923-1944
پدیدآورنده : Tarski, Alfred
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Logic symbolic and mathematical
رده :
QA
9
.
T2
L6
23. Ordinal algebras
پدیدآورنده : Tarski, Alfred
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Algebra, Abstract
رده :
QA
266
.
T37
24. Ordinal algebras
پدیدآورنده : Tarski, Alfred.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebraic logic,، Arithmetic - Foundations
رده :
QA
10
.
T37
25. Ordinal algebras : with appendices
پدیدآورنده : Tarski, Alfred
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algebra, Abstract
رده :
QA
266
.
T3
26. <The> theory of models
پدیدآورنده : / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
BC135
،.
I5
1965
27. The theory of models
پدیدآورنده : edited by J.W. Addison, Leon Henkin, Alfred Tarski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
28. The theory of models; proceedings
پدیدآورنده : Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
29. Undecidable theories
پدیدآورنده : Tarski, Alfred
موضوع : ، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
30. Undecidable theories
پدیدآورنده : Alfred Tarski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
31. Undecidable theories
پدیدآورنده : / by Alfred Tarski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
